1. Identificação | |
Tipo de Referência | Relatório (Report) |
Site | mtc-m21c.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W34R/42KFNDB |
Repositório | sid.inpe.br/mtc-m21c/2020/06.05.18.24 |
Última Atualização | 2020:06.05.18.24.03 (UTC) simone |
Repositório de Metadados | sid.inpe.br/mtc-m21c/2020/06.05.18.24.03 |
Última Atualização dos Metadados | 2022:07.08.21.14.50 (UTC) administrator |
Chave de Citação | MoraesVija:2017:InCaMa |
Título | Investigação de cadeias de markov para testes de software |
Ano | 2017 |
Data de Acesso | 02 maio 2024 |
Tipo | RPQ |
Número de Páginas | 19 |
Número de Arquivos | 1 |
Tamanho | 372 KiB |
|
2. Contextualização | |
Autor | 1 Moraes, Eduardo Ribeiro 2 Vijaykumar, Nandamudi Lankalapalli |
Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JHTU |
Grupo | 1 2 LABAC-COCTE-INPE-MCTIC-GOV-BR |
Afiliação | 1 Universidade Federal de Itajubá (UNIFEI) 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 eduardo.moraes@outlook.com 2 vijay.nl@inpe.br |
Instituição | Instituto Nacional de Pesquisas Espaciais |
Cidade | São José dos Campos |
Histórico (UTC) | 2020-06-05 18:24:03 :: simone -> administrator :: 2022-07-08 21:14:50 :: administrator -> simone :: 2017 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Palavras-Chave | Cadeias de Markov software |
Resumo | Este trabalho tem como objetivo a continuidade aos projetos de Iniciação Científica para melhorias em Testes de Software os quais cada vez mais são relevantes por garantir a qualidade no sistema desenvolvido. A iniciação científica descrita neste resumo aborda o uso de Cadeias de Markov, que são muito utilizadas para avaliar desempenho de sistemas, para priorizar sequências de teste. Os testes de software podem ser de caixa branca (dependem do código implementado) ou de caixa preta (não necessitam do código implementado). O foco será testes caixa preta. Neste caso, os testes são gerados a partir de modelagem da especificação de software sem ter a necessidade de se ter o código. O que ocorre é que os testes são gerados bem antes da implementação de software e quando o software estiver pronto, os testes gerados a partir da especificação são exercitados na implementação para conferir se a implementação está de conformidade com a especificação. Por este motivo, testes caixa preta também são conhecidos como testes de conformidade. No entanto, dependendo de como os testes são gerados, poderão haver centenas de milhares de casos de testes se a especificação for algo complexo. Então há uma necessidade de priorizar estes casos sem perder a sua qualidade, ou seja, de alguma forma, deve haver uma garantia que o software está validado. Para priorizar os casos de teste a ideia deste trabalho é explorar Cadeias de Markov. A especificação é modelada como uma Cadeia de Markov e a partir da qual se obtêm probabilidades limite que se referem à quantidade de tempo que o estado ficou ativo. Então, as probabilidades limite poderão dar uma visão ao testador sobre quais funções (estados) deverão ser testados com certa prioridade. Os resultados serão testados para especificações geradas aleatoriamente e depois serão testados em aplicações reais, em particular, aplicações espaciais de software embarcado em satélites e/ou em outras missões. |
Área | COMP |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Investigação de cadeias... |
Arranjo 2 | urlib.net > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2017 > Investigação de cadeias... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W34R/42KFNDB |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W34R/42KFNDB |
Idioma | pt |
Arquivo Alvo | moraes_investigacao.pdf |
Grupo de Usuários | simone |
Visibilidade | shown |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Repositório Espelho | urlib.net/www/2017/11.22.19.04.03 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPDW34P/478H8LM |
Divulgação | BNDEPOSITOLEGAL |
Acervo Hospedeiro | urlib.net/www/2017/11.22.19.04 |
|
6. Notas | |
Notas | Bolsa PIBIC/INPE/CNPq |
Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel doi e-mailaddress edition format isbn issn label lineage mark nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup recipient reportnumber rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype |
|
7. Controle da descrição | |
e-Mail (login) | simone |
atualizar | |
|